Verification of low-μ indicator standard inserts

Μ + Μ − Decays within the Minimal Supersymmetric Standard Model

Randomized Batch Verification of Standard ECDSA Signatures

In AfricaCrypt 2012, several algorithms are proposed for the batch verification of ECDSA signatures. In this paper, we propose three randomization methods for these batch-verification algorithms. Our first proposal is based on Montgomery ladders, and the second on computing square-roots in the underlying field. Both these techniques use numeric arithmetic only. Our third proposal exploits symbo...

automatic verification of authentication protocols using genetic programming

implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...

Modeling and Verification of the RUBIS μ−Kernel with SPIN

This experience was lead at the Laboratoire Informatique de Besançon and its aim was the modeling and verification of the RUBIS kernel, a multitasking multiprocessor operating system. An other aim of this study was to find out a method to formalize and to verify such systems. The first results are given. A modeling approach is used and we formalize the models of the system, the scenarios and th...

Non-standard bone simulations: Verification and validation

Standard methods for predicting bone’s mechanical response from quantitative computer-tomography(qCT) scans are mainly based on classical h-version Finite Element Methods (FEMs). This approach is often limited in terms of numerical accuracy and efficiency due to the low order polynomial approximation model, the need for segmentation, and the use of piecewise constant material properties assignm...